Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
271	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
272	INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY[removed]), #A54 HEREDITARY TILING SETS OF THE INTEGERS S. Eigen Department of Mathematics, Northeastern University, Boston MA, 02115 Add to Reading List Source URL: www.emis.de Language: English - Date: 2008-12-03 12:33:02 Algebraic number theory Combinatorics Integer sequences Elementary number theory Integer Combinatory logic Ring Factorial Binomial coefficient Mathematics Abstract algebra Ring theory
273	1 On the Use of Q2 Abstractions to Lower the Computational Cost of Derivation of Conflict Resolution Advisories in Air Traffic Control Mei Li and and Mieczyslaw M. Kokar, Senior Member, IEEE Add to Reading List Source URL: www.ece.neu.edu Language: English - Date: 2012-02-23 16:34:44 Applied mathematics Mealy machine Dynamical system State space Moore machine Finite-state machine Computational complexity theory Combinatory logic Function Models of computation Mathematics Theoretical computer science
274	CATS 2004 Preliminary Version Typed Transformations of Typed Grammars: The Left Corner Transform Arthur Baars 1 Instituto Tecnol´ Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2010-11-06 19:03:36 Computing Generalized algebraic data type Left recursion Production Formal grammar Type system Monad Top-down parsing Combinatory logic Formal languages Software engineering Declarative programming
275	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic
276	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
277	Electronic Communications of the EASST Volume ? (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2009-09-16 11:46:54 Conditional Combinatory logic C syntax Software engineering Computer programming Computing Control flow
278	A SCHANUEL PROPERTY FOR EXPONENTIALLY TRANSCENDENTAL POWERS arXiv:0810.4457v1 [math.NT] 24 Oct[removed]MARTIN BAYS, JONATHAN KIRBY, AND A.J. WILKIE Add to Reading List Source URL: eprints.ma.man.ac.uk Language: English - Date: 2009-10-02 05:24:42 Combinatory logic Spectral theory of ordinary differential equations Spectral theory Mathematical analysis Mathematics
279	NOTES ON THE FOUNDATIONS OF PROGRAMMING ALEX STEPANOV AND MAT MARCUS Disclaimer: Please do not redistribute. Instead, requests for a current draft should go to Mat Marcus. These notes are a work in progress and do not co Add to Reading List Source URL: www.emarcus.org Language: English - Date: 2011-09-23 00:58:41 Number theory Analysis of algorithms Binomial coefficient Permutation Big O notation Combinatory logic Factorial Dynamic programming Bernoulli number Mathematics Combinatorics Integer sequences
280	Theory and Applications of Categories, Vol. 28, No. 23, 2013, pp. 733–779. THE ALGEBRA OF THE NERVES OF OMEGA-CATEGORIES RICHARD STEINER Abstract. We show that the nerve of a strict omega-category can be described alg Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-01 12:03:00 Category theory Functional analysis Projection linear algebra Nerve Homological algebra Combinatory logic Meijer G-function Abstract algebra Mathematics Algebra

UPDATE